(note_mode_line_or_margin_highlight): Accept HEADER_LINE when keymap and cursor are...
authorMasatake YAMATO <jet@gyve.org>
Tue, 16 Mar 2004 13:12:03 +0000 (13:12 +0000)
committerMasatake YAMATO <jet@gyve.org>
Tue, 16 Mar 2004 13:12:03 +0000 (13:12 +0000)
commitc4734dbffa17641ec803e53f98ee71d463ef2003
treed4aaa636e03d41e5b485137501f3940fc11bdf94
parent57fd585516c0339d2302bf6aef1c13715f3d8a17
(note_mode_line_or_margin_highlight): Accept HEADER_LINE when keymap and cursor are setup.
src/ChangeLog
src/xdisp.c